Rapidly advancing studies on rhodopsin have focused on new strategies for crystallization of this integral membrane protein for x-ray analysis and on alternative methods for structural determination from nuclear magnetic resonance data. Functional studies of the interactions between the apoprotein and its chromophore have clarified the role of the chromophore in deactivation of opsin and in photoactivation of the pigment.

Book reviewed in this article: Long Term Care: Principles, Programs and Policies. By Rosalie A. Kane and Robert L. Kane. Long Term Health Care: providing a Spectrum of Services to the Aged. By Philip W. Brickner, Anthony J. Lechich, Roberta Lipsman, and Linda K. scharer.

Axiom 1 of K is the same as Axiom 1 in L, thus we have nothing to prove. Axiom 2 of K is 2(φ → ψ) → (2φ → 2ψ). We give a derivation of this formula in L: (φ → ψ) ∧ φ → ψ 2((φ → ψ) ∧ φ) → 2ψ (the rule from L) 2(φ → ψ) ∧ 2φ → 2ψ (axiom 3 of L and propositional logic) 2(φ → ψ) → (2φ → 2ψ) (propositional logic) Remain (...) the rules of K. Modus ponens is a rule of both so there is nothing to prove. We show that L proves the Necessitation rule. That is, we have to show that if L φ, then L 2φ. The following derivation in L from assumption φ shows this: φ → φ (propositional logic) 2 → 2φ (the rule from L) 2φ (modus ponens using axiom 2 ) This completes the direction of the proof form left to right. (shrink)

It was a dark and stormy night, in the otherwise unnoteworthy year 711 E.C. , and the great-aunt sat crouched at her typewriter, holding his hands out to it from time to time as if for warmth and swinging on a swing. He was a handsome boy of about eighteen, one of those men who suddenly excite your desire when you meet them in the street, and who leave you with a vague feeling of uneasiness and excited senses. On the (...) plate beside the typewriter lay a slice of tomato. It was a flawless slice. It was a perfect slice of a perfect tomato. It is perfectly boring. I hold out my hands to the typewriter again, while swinging and showing my delicate limbs, and observe that the rows of keys are marked with all the letters of the English alphabet, and all the letters of the French alphabet minus accent marks, and all the letters of the Polish alphabet except the dark L. By striking these keys with the ends of my fingers or, conceivably, a small blunt object, the aging woman can create a flaw in the tomato. She did so at once. It was then a seriously, indeed a disgustingly flawed tomato, but it continued to be perfectly boring until eaten. She expired instantly in awful agony, of snakebite, flinging the window wide to get air. It is a dark and stormy night and the rain falling in in the typewriter keys writes a story in German about a great-aunt who went to a symposium on narrative and got eaten in the forest by a metabear. She writes the story while reading it with close attention, not sure what to expect, but collaborating hard, as if that was anything new; and this is the story I wrote . . . Ursula K. Le Guin, distinguished novelist, poet, and essayist, is the author of The Left Hand of Darkness, Malafrena, and The Dispossessed, for which she won both the Hugo and the Nebula Award. Her novel The Lathe of Heaven was made into a film by the Public Broadcasting System. (shrink)

We present a basis for the admissible rules of intuitionistic propositional logic. Thereby a conjecture by de Jongh and Visser is proved. We also present a proof system for the admissible rules, and give semantic criteria for admissibility.

AI systems have often been found to contain gender biases. As a result of these gender biases, AI routinely fails to adequately recognize the needs, rights, and accomplishments of women. In this article, we use Axel Honneth’s theory of recognition to argue that AI’s gender biases are not only an ethical problem because they can lead to discrimination, but also because they resemble forms of misrecognition that can hurt women’s self-development and self-worth. Furthermore, we argue that Honneth’s theory of recognition (...) offers a fruitful framework for improving our understanding of the psychological and normative implications of gender bias in modern technologies. Moreover, our Honnethian analysis of gender bias in AI shows that the goal of responsible AI requires us to address these issues not only through technical interventions, but also through a change in how we grant and deny recognition to each other. (shrink)

Emotion recognition technology uses artificial intelligence to make inferences about a person’s emotions, on the basis of their facial expressions, body language, tone of voice, or other types of input. Underlying such technology are a variety of assumptions about the manifestation, nature, and value of emotions. To assure the quality and desirability of emotion recognition technology, it is important to critically assess the assumptions embedded in the technology. Within philosophy, there is a long tradition of epistemological, ontological, phenomenological, and ethical (...) reflection on the manifestation, nature, and value of emotions. This article draws from this tradition of philosophy of emotions, in order to challenge the assumptions underlying current emotion recognition technology and to promote a more critical engagement with the concept of emotions in the tech-industry. (shrink)

Visser's rules form a basis for the admissible rules of . Here we show that this result can be generalized to arbitrary intermediate logics: Visser's rules form a basis for the admissible rules of any intermediate logic for which they are admissible. This implies that if Visser's rules are derivable for then has no nonderivable admissible rules. We also provide a necessary and sufficient condition for the admissibility of Visser's rules. We apply these results to some specific intermediate logics and (...) obtain that Visser's rules form a basis for the admissible rules of, for example, De Morgan logic, and that Dummett's logic and the propositional Gödel logics do not have nonderivable admissible rules. (shrink)

The ethics of artificial intelligence is an upcoming field of research that deals with the ethical assessment of emerging AI applications and addresses the new kinds of moral questions that the advent of AI raises. The argument presented in this article is that, even though there exist different approaches and subfields within the ethics of AI, the field resembles a critical theory. Just like a critical theory, the ethics of AI aims to diagnose as well as change society and is (...) fundamentally concerned with human emancipation and empowerment. This is shown through a power analysis that defines the most commonly addressed ethical principles and topics within the field of AI ethics as either to do with relational power or with dispositional power. Moreover, it is concluded that recognizing AI ethics as a critical theory and borrowing insights from the tradition of critical theory can help the field forward. (shrink)

The introduction of contraceptive technologies hasresulted in the separation of sex and procreation. Theintroduction of new reproductive technologies (mainlyIVF and embryo transfer) has led not only to theseparation of procreation and sex, but also to there-definition of the terms mother and family.For the purpose of this essay, I will distinguishbetween:1. the genetic mother – the donor of the egg;2. the gestational mother – she who bears and gives birth to the baby;3. the social mother – the woman who raises the (...) child.This essay will deal only with the form of gestationalsurrogacy in which the genetic parents intend to bethe social parents, and the surrogate mother has nogenetic relationship to the child she bears anddelivers. I will raise questions regarding medicalethical aspects of surrogacy and the obligation(s) ofthe physician(s) to the parties involved. I will arguethat the gestational surrogate is a womb to rent,that there is great similarity between gestationalcommercial surrogacy and organ transplant marketing.Furthermore, despite claims to freedom of choice andfree marketing, I will claim that gestationalsurrogacy is a form of prostitution and slavery,exploitation of the poor and needy by those who arebetter off. The right to be a parent, although notconstitutional, is intuitive and deeply rooted.However, the issue remains whether this rightoverrules all other rights, and at what price to theparties involved. I will finally raise the followingprovocative question to society: In the interim periodbetween today''s limited technology and tomorrow''sextra-corporeal gestation technology (ectogenesis),should utilizing females in PVS (persistent vehetativestate) for gestational surrogacy be sociallyacceptable/permissible – provided they have leftpermission in writing? (shrink)

Rosalie Osmond examines both literal and metaphorical aspects of the relationship between body and soul in seventeenth-century literature and their significance within a primarily dualistic philosophy.

Is there a ghost in the machine? Are we born trailing clouds of glory? Is there a part of us that will survive death? Is the soul reborn in different bodily forms? These and similar questions have occupied humankind since the dawn of consciousness. Rosalie Osmond's book explores the way the soul has been represented in different cultures and at different times, from ancient Egypt and Greece, through medieval Europe and into the 21st century. Basing her approach on historical (...) sources, she reveals the many different ways in which the soul has been imagined and the range of human needs and aspirations these imaginings have addressed. (shrink)

This paper contains a detailed account of the notion of admissibility in the setting of consequence relations. It is proved that the two notions of admissibility used in the literature coincide, and it provides an extension to multi–conclusion consequence relations that is more general than the one usually encountered in the literature on admissibility. The notion of a rule scheme is introduced to capture rules with side conditions, and it is shown that what is generally understood under the extension of (...) a consequence relation by a rule can be extended naturally to rule schemes, and that such extensions capture the intuitive idea of extending a logic by a rule. (shrink)

Admissible rules of a logic are those rules under which the set of theorems of the logic is closed. In this paper, a Gentzen-style framework is introduced for analytic proof systems that derive admissible rules of non-classical logics. While Gentzen systems for derivability treat sequents as basic objects, for admissibility, the basic objects are sequent rules. Proof systems are defined here for admissible rules of classes of modal logics, including K4, S4, and GL, and also Intuitionistic Logic IPC. With minor (...) restrictions, proof search in these systems terminates, giving decision procedures for admissibility in the logics. (shrink)

Facial recognition is a promising emerging technology, but it sometimes fails to recognize people adequately. Facial recognition applications have been found to regularly misidentify certain demographics, misinterpret traits like gender, age, beliefs, or emotions, and categorize individuals in ways that do not resonate with their own sense of identity. In this paper, I argue that in each of these cases, the person who has their face analyzed is not merely misidentified or misunderstood, but misrecognized in an ethically relevant sense. Following (...) Charles Taylor’s The Politics of Recognition (1992) and Axel Honneth’s The Struggle for Recognition (1996), I describe how those subjected to facial recognition systems on the one hand struggle to obtain adequate recognition on a universal level, as being equally important to others, and lack recognition for their individual uniqueness, on the other hand. These forms of misrecognition are of ethical concern, because they can harm a person’s identity formation. So, ironically, facial recognition technology can give rise to a struggle for recognition. (shrink)

Computer vision is a subfeld of artifcial intelligence, aimed at making computers see. Computer vision tools enable a system or device to automatically analyze, interpret, and respond to images and videos. Computer vision tasks range from object detection and tracking, to the recognition of people’s faces and emotional states. While the ethics of AI in general has received signifcant attention, and the ethics of facial recognition (a computer vision application) too, little of the AI ethics literature focuses specifcally on the (...) ethics of computer vision. In this chapter, I create an overview of ethical, social, and political issues related to computer vision, using a critical approach. This means that I identify issues in terms of power and evaluate them in function of their impact on the value of autonomy and the normative goal of emancipatory progress. The aim of this chapter is frst and foremost to ofer an overview of potential normative implications of computer vision. Additionally, the chapter functions as an example for the use of a critical approach to AI ethics. (shrink)

This paper contains a brief overview of the area of admissible rules with an emphasis on results about intermediate and modal propositional logics. No proofs are given but many references to the literature are provided.

We investigate the logical structure of intuitionistic Kripke-Platek set theory , and show that the first-order logic of is intuitionistic first-order logic IQC.

Ancient medical and healing systems are currently attracting considerable interest. This issue includes interdisciplinary studies which focus on new perceptions of some ancient and medieval medical systems, exploring how they related to each other, and assessing their contribution to modern society. It is shown that pre-Greek medicine included some rational elements, and that Egyptian and Babylonian medical systems contributed to a tradition which led from classical antiquity through the Middle Ages and beyond. The reliability of sources of evidence is considered, (...) as well as the legacy of the ancient healing environments and disease treatments. Finally, where documentation survives, the legacy of social attitudes to health and disease is considered. Overarching principles directed policies of social medicine and healthcare in antiquity and the Middle Ages: for example, the causes and transmission routes of infectious diseases, as well as the basic principles of sterilization, were unknown, but nevertheless attempts were made to improve sanitation, provide clean water, and ensure access to trained physicians. In some cases, the need to limit the size of the population prompted the use of contraceptive measures, and surviving information also illuminates attitudes to deformity, disability and the treatment of the terminally ill. (shrink)

In this paper we prove that three of the main propositional logics of dependence, none of which is structural, are structurally complete with respect to a class of substitutions under which the logics are closed. We obtain an analogous result with respect to stable substitutions, for the negative variants of some well-known intermediate logics, which are intermediate theories that are closely related to inquisitive logic.

A method is presented that connects the existence of uniform interpolants to the existence of certain sequent calculi. This method is applied to several modal logics and is shown to cover known results from the literature, such as the existence of uniform interpolants for the modal logic \. New is the result that \ has uniform interpolation. The results imply that for modal logics \ and \, which are known not to have uniform interpolation, certain sequent calculi cannot exist.

This paper contains a proof-theoretic account of unification in transitive reflexive modal logics, which means that the reasoning is syntactic and uses as little semantics as possible. New proofs of theorems on unification types are presented and these results are extended to negationless fragments. In particular, a syntactic proof of Ghilardi’s result that $\mathsf {S4}$ has finitary unification is provided. In this approach the relation between classical valuations, projective unifiers, and admissible rules is clarified.

Preserved human remains from ancient Egypt provide an unparalleled opportunity for studies in the history of disease and medical practices. Egyptian medical papyri describe physiological concepts, disease diagnoses and prescribed treatments which include both ‘irrational’, and ‘rational’ procedures. Many previous studies of Egyptian medicine have concluded that ‘irrational’ methods predominated, but this perception is increasingly challenged by results from scientific studies of ancient human remains, and plant materials. This paper demonstrates the significant contribution being made by multidisciplinary studies to our (...) understanding of disease occurrence and medical treatments in ancient Egypt, and considers the feasibility of developing epidemiological comparisons of ancient and modern data sets that will provide acceptable historical contexts for contemporary disease studies. (shrink)

Para elaborar sua profetologia, Maimônides retoma conceitos relativos às teorias do intelecto de Al-Fārābī e de Avicena, que, por sua vez, se baseiam nas noções sobre a alma de Aristóteles. Dessa perspectiva, a Revelação divina deve ser considerada um fato natural inserido na totalidade da natureza criada por Deus. Compreender a Revelação significa, portanto, compreendê-la a partir do homem, uma vez que o profeta, apesar de se tratar de alguém que se destaca do conjunto da humanidade, é sempre um ser (...) humano, possuidor de uma natureza humana. Desse modo, a doutrina da profecia – central no "Guia dos Perplexos" ‒ é elaborada a partir da natureza humana à luz da filosofia racional greco-árabe. Os falāsifa – filósofos muçulmanos helenizantes – já ensinavam que a profecia é possível graças a certa perfeição da natureza humana . Esse ensinamento está fundamentado na teoria do intelecto apresentada por Aristóteles em "De Anima" III, 5, 430a 10 et seq. Contudo, para os filósofos de expressão árabe , a profecia é resultante de certas condições físicas e psíquicas determinadas pelo fluxo necessário das emanações, cuja teoria deriva da "Teologia Pseudo-Aristotélica", um tratado neoplatônico atribuído ao Estagirita que, durante a Idade Média, circulou amplamente nos ambientes filosóficos tanto dos judeus quanto dos muçulmanos. Na cosmovisão neoplatônica adotada por eles, o intelecto do profeta reflete a luz e o conhecimento divino derramado pelo fluxo emanatório do Ser primeiro no mundo celeste, composto pelas dez inteligências separadas, suas almas e esferas. No processo emanatório, a faculdade da imaginação do profeta recebe da última inteligência, o Intelecto Agente, as verdades dos preceitos positivos e culturais da religião, que a imaginação transforma em alegorias e símbolos a serem transmitidos para a humanidade. Maimônides faz da imaginação a pedra de toque de sua profetologia. To elaborate his prophetology, Maimonides uses concepts relating to Al-Fārābī and Avicenna's theories of the intellect which, in turn, are based on Aristotle's notions of the soul. Within this perspective, divine Revelation should be considered a natural fact within the totality of nature created by God. Understanding Revelation therefore means understanding it from a human standpoint, since the prophet ‒ despite being a figure who is set apart from the rest of humanity – is always a human being, with a human nature. Thus, the doctrine of prophecy ‒ central to "The Guide of the Perplexed" ‒ is elaborated based on human nature in light of the rational Greco-Arabic philosophy. The falāsifa – the Hellenizing Muslim philosophers – taught that prophecy is possible thanks to certain perfection of the human nature . This teaching is based on the theory of the intellect, as presented by Aristotle in "De Anima" III, 5, 430a 10 et seq. Therefore, for the philosophers of Arabic expression , prophecy is the result of certain physical and psychic conditions determined by the necessary flow of emanations, whose theory is derived from the "Pseudo-Aristotelian Theology", a Neoplatonic treatise attributed to the Stagyrite which, in the Middle Age, widely circulated in the philosophical milieu, among both Jewish and Muslim. In the Neoplatonic cosmic vision which they adopted, the prophet's intellect reflects the divine light and knowledge overflowing from the emanatory flow from the first Being in the celestial world, which is composed of the ten separate intelligences, their souls and their spheres. In the emanatory process, the prophet's faculty of imagination receives from the ultimate intelligence, the Active Intellect, the truths of the positive and cultural precepts of religion, which the imagination transforms into allegories and symbols to be transmitted to humanity. Maimonides makes the imagination the cornerstone of his prophetology. (shrink)

In Iemhoff we gave a countable basis for the admissible rules of . Here, we show that there is no proper superintuitionistic logic with the disjunction property for which all rules in are admissible. This shows that, relative to the disjunction property, is maximal with respect to its set of admissible rules. This characterization of is optimal in the sense that no finite subset of suffices. In fact, it is shown that for any finite subset X of , for one (...) of the proper superintuitionistic logics Dn constructed by De Jongh and Gabbay ), all the rules in X are admissible. Moreover, the logic Dn in question is even characterized by X: it is the maximal superintuitionistic logic containing Dn with the disjunction property for which all rules in X are admissible. Finally, the characterization of is proved to be effective by showing that it is effectively reducible to an effective characterization of in terms of the Kleene slash by De Jongh. (shrink)

If the Visser rules are admissible for an intermediate logic, they form a basis for the admissible rules of the logic. How to characterize the admissible rules of intermediate logics for which not all of the Visser rules are admissible is not known. In this paper we give a brief overview of results on admissible rules in the context of intermediate logics. We apply these results to some well-known intermediate logics. We provide natural examples of logics for which the Visser (...) rule are derivable, admissible but nonderivable, or not admissible. (shrink)